Skip to content

Lazy scan unification - #1376

Merged
lionel- merged 4 commits into
mainfrom
oak-nse/17-lazy-scan-refactor
Aug 3, 2026
Merged

Lazy scan unification#1376
lionel- merged 4 commits into
mainfrom
oak-nse/17-lazy-scan-refactor

Conversation

@lionel-

@lionel- lionel- commented Jul 30, 2026

Copy link
Copy Markdown
Contributor

Progress towards #1338

  • on.exit() / on_load() bodies (Current + Lazy) are now scanned with the same machinery as everything else, queued and drained once the owner scope's bindings are complete. This allows them to resolve effects for forward bindings the normal way.

  • Renames scan-state types for consistency

  • Lazy-shadow-ambiguity diagnostics now log the file path and line:col instead of a raw byte range.

Positron Release Notes

New Features

  • N/A

Bug Fixes

  • N/A

@lionel-
lionel- force-pushed the oak-nse/17-lazy-scan-refactor branch from 4a04e4e to e36af2e Compare July 31, 2026 07:08
@lionel-
lionel- force-pushed the oak-nse/17-lazy-scan-refactor branch from e36af2e to 3784e80 Compare July 31, 2026 12:28
@lionel-
lionel- force-pushed the oak-nse/17-lazy-scan-refactor branch from 3784e80 to 4d6f8a5 Compare July 31, 2026 14:23
@lionel-
lionel- force-pushed the oak-nse/17-lazy-scan-refactor branch from 4d6f8a5 to 156bcf9 Compare August 3, 2026 13:16
@lionel-
lionel- force-pushed the oak-nse/17-lazy-scan-refactor branch 2 times, most recently from 04ebd08 to 71fb333 Compare August 3, 2026 16:18
Base automatically changed from oak-nse/16-walk-split to main August 3, 2026 16:34
@lionel-
lionel- force-pushed the oak-nse/17-lazy-scan-refactor branch from 71fb333 to 40860b4 Compare August 3, 2026 16:34
@lionel-
lionel- merged commit 6eb478b into main Aug 3, 2026
17 checks passed
@lionel-
lionel- deleted the oak-nse/17-lazy-scan-refactor branch August 3, 2026 16:34
@github-actions github-actions Bot locked and limited conversation to collaborators Aug 3, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant